H. Yoshihiro; "算術体系とconcatenationの体系"
著者
堀畑 佳宏
https://phsc.jp/dat/rsm/20100612a4.pdf
キーワード
連結の理論
弱い連結の理論$ \sf WTC
メモ
H. Yoshihiro; "Interpretations between weak theories of concatenation and arithmetic"が本流？
Thm1. $ \sf WTCとTarski-Mostowski-Robinson算術$ \sf Rが相互解釈可能．
remark: $ \sf Rは本質的に決定不能なので$ \sf WTCも本質的に決定不能である．